Stichworte: Completeness assertion